$\forall$${\it id}$:Id, ${\it num}$:$\mathbb{N}$. ccsucc(${\it id}$;${\it num}$) $\in$ chain\_config()